Completeness is determined by any non-algebraic trajectory
نویسندگان
چکیده
منابع مشابه
Algebraic Totality, towards Completeness
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give...
متن کاملCompleteness of algebraic CPS simulations
The algebraic lambda calculus (λalg) and the linear algebraic lambda calculus (λlin) are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the differential lambda calculus, the latter is a candidate lambda calculus for quantum computation. They differ in the handling of application argume...
متن کاملInsulin resistance and coronary artery disease in non-diabetic patients: Is there any correlation?
Background: Cardiovascular diseases are the most common causes of death in the world and type 2 diabetes is one of them because it is highly prevalent and doubles heart disease risk. Some studies suggest that insulin resistance is associated with coronary artery disease in non-diabetics. The aim of this study was to evaluate the association of insulin resistance (IR) and coronary artery disease...
متن کاملComplexity Classes and Completeness in Algebraic Geometry
We study the computational complexity of sequences of projective varieties. We define analogues of the complexity classes P and NP for these and prove the NP-completeness of a sequence called the universal circuit resultant. This is the first family of compact spaces shown to be NP-complete in a geometric setting. Valiant's theory of algebraic/arithmetic complexity classes is an algebraic analo...
متن کاملAlmost structural completeness; an algebraic approach
The notion of structural completeness has received considerable attention for many years. A translation to algebra gives: a quasivariety is structurally complete if it is generated by its free algebras. It appears that many deductive systems (quasivarieties), like S5 or MVn fails structural completeness for a rather immaterial reason. Therefore the adjusted notion was introduced: almost structu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2012
ISSN: 0001-8708
DOI: 10.1016/j.aim.2012.05.013